#include <xen/iommu.h>
#include <asm/hvm/irq.h>
#include <asm/hvm/iommu.h>
+#include <asm/hvm/support.h>
#include <xen/hvm/irq.h>
static void hvm_dirq_assist(unsigned long _d);
#include <xen/hvm/save.h>
+static int hvm_girq_dest_2_vcpu_id(struct domain *d, uint8_t dest,
+ uint8_t dest_mode)
+{
+ /* TODO */
+}
+
+static void hvm_migrate_pirqs(struct vcpu *v)
+{
+ /* TODO */
+}
+
#endif /* __ASM_IA64_HVM_SUPPORT_H__ */
#define vlapic_base_address(vlapic) \
((vlapic)->hw.apic_base_msr & MSR_IA32_APICBASE_BASE)
-#define VMSI_DEST_ID_MASK 0xff
-#define VMSI_RH_MASK 0x100
-#define VMSI_DM_MASK 0x200
-#define VMSI_DELIV_MASK 0x7000
-#define VMSI_TRIG_MODE 0x8000
-
-#define GFLAGS_SHIFT_RH 8
-#define GLFAGS_SHIFT_DELIV_MODE 12
-#define GLFAGS_SHIFT_TRG_MODE 15
-
struct vlapic {
struct hvm_hw_lapic hw;
struct hvm_hw_lapic_regs *regs;
#define HVM_IRQ_DPCI_GUEST_MSI (1 << _HVM_IRQ_DPCI_GUEST_MSI_SHIFT)
#define HVM_IRQ_DPCI_TRANSLATE (1 << _HVM_IRQ_DPCI_TRANSLATE_SHIFT)
+#define VMSI_DEST_ID_MASK 0xff
+#define VMSI_RH_MASK 0x100
+#define VMSI_DM_MASK 0x200
+#define VMSI_DELIV_MASK 0x7000
+#define VMSI_TRIG_MODE 0x8000
+
+#define GFLAGS_SHIFT_RH 8
+#define GLFAGS_SHIFT_DELIV_MODE 12
+#define GLFAGS_SHIFT_TRG_MODE 15
+
struct hvm_gmsi_info {
uint32_t gvec;
uint32_t gflags;